Prozessgerechter Entwurf von Monitoren in Echtzeitbetriebssystemen = La conception (considérant le procédé) des moniteurs de systèmes d'exploitation = Process-considering design of real time operating systems monitorsHRUZ, B.Elektronische Rechenanlagen. 1984, Vol 26, Num 1, pp 31-38, issn 0013-5720Article

A systematic approach to language constructs for concurrent programsBROY, M; BAUER, F. L.Science of computer programming. 1984, Vol 4, Num 2, pp 103-139, issn 0167-6423Article

An examination of the resolution of structure clashes by structure inversionSTUBBS, M.Computer journal (Print). 1984, Vol 27, Num 4, pp 354-361, issn 0010-4620Article

Efficacité du test de la structure des modules de programmesBLAU, S. A; LIPAEV, V. V; POZIN, B. A et al.Avtomatika i telemehanika. 1984, Num 4, pp 139-148, issn 0005-2310Article

Nontrival definability by flow-chart programsURZYCZYN, P.Information and control. 1983, Vol 58, Num 1-3, pp 59-87, issn 0019-9958Article

A complexity measure derivation method based on analysis of complexity factors in program structureTAKAHASHI, M; NAGASE, A; KURODA, K et al.Review of the electrical communication laboratories. 1984, Vol 32, Num 1, pp 41-48, issn 0029-067XArticle

On the distribution of statements in PASCALprogramsSCHROEDER, A.Rapports techniques ― I.N.R.I.A. 1984, Num 39, issn 0249-0803, 14 p.Serial Issue

Program development by inductive stepwise refinementDROMEY, R. G.Software, practice & experience. 1985, Vol 15, Num 1, pp 1-28, issn 0038-0644Article

Structure du logiciel des périphériques programmés de signalisation du système MT 20/25 = Structure of programmed peripheral software of MT 20/25 system signallingRAVEL, F.1984, 39 p.Report

Region-based partial dead code elimination on predicated codeQIONG CAI; LIN GAO; JINGLING XUE et al.Lecture notes in computer science. 2004, pp 150-166, issn 0302-9743, isbn 3-540-21297-3, 17 p.Conference Paper

CrocoCosmosLEWERENTZ, Claus; SIMON, Frank; STEINBRÜCKNER, Frank et al.Lecture notes in computer science. 2002, pp 446-447, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Some empirical observations on program behavior with applications to program restructuringPEACHEY, J. B; BUNT, R. B; COLBOURN, C. J et al.IEEE transactions on software engineering. 1985, Vol 11, Num 2, pp 188-193, issn 0098-5589Article

Subtypes and quantification. ReplyVOLPANO, D. M; BURTON, F. W.ACM transactions on programming languages and systems. 1991, Vol 13, Num 4, pp 631-633, issn 0164-0925Article

Extending graph rewriting for refactoringVAN EETVELDE, Niels; JANSSENS, Dirk.Lecture notes in computer science. 2004, pp 399-415, issn 0302-9743, isbn 3-540-23207-9, 17 p.Conference Paper

Skel-BSP: Performance portability for skeletal programmingZAVANELLA, A.Lecture notes in computer science. 2000, pp 290-299, issn 0302-9743, isbn 3-540-67553-1Conference Paper

An algebraic characterization of typability in ML with subtypingBENKE, M.Lecture notes in computer science. 1999, pp 104-119, issn 0302-9743, isbn 3-540-65719-3Conference Paper

Model-checking : A tutorial introductionMÜLLER-OLM, M; SCHMIDT, D; STEFFEN, B et al.Lecture notes in computer science. 1999, pp 330-354, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Reflecting Java into SchemeANDERSON, K. R; HICKEY, T. J.Lecture notes in computer science. 1999, pp 154-174, issn 0302-9743, isbn 3-540-66280-4Conference Paper

Using concurrent Haskell to develop views over an active repositoryKARLSEN, E. W; WESTMEIER, S.Lecture notes in computer science. 1998, pp 285-303, issn 0302-9743, isbn 3-540-64849-6Conference Paper

On linear schedules of task graphs for generalized logP-machinesLÖWE, W; ZIMMERMANN, W; EISENBIEGLER, J et al.Lecture notes in computer science. 1997, pp 895-904, issn 0302-9743, isbn 3-540-63440-1Conference Paper

A «division» transformation for program and data structures and the structure clash problemMICHEL, B; SINTZOFF, M.Science of computer programming. 1988, Vol 10, Num 3, pp 247-280, issn 0167-6423Article

An algorithm for optimal procedural nestingCROOKES, D; DEVLIN, C. J.Computer journal (Print). 1985, Vol 28, Num 1, pp 17-21, issn 0010-4620Article

Tools for extracting software structure from compiled programsHWEI SHENG TEOH; WORTMAN, David B.International Conference on Software Maintenance. 2004, isbn 0-7695-2213-0, p. 526Conference Paper

Efficient dispatch of java interface methodsALPERN, Bowen; COCCHI, Anthony; GROVE, David et al.Lecture notes in computer science. 2001, pp 621-628, issn 0302-9743, isbn 3-540-42293-5Conference Paper

Page / 19